Pouring liquids: A study in commonsense physical reasoning
نویسندگان
چکیده
منابع مشابه
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order langua...
متن کاملPouring Liquids: A Study in Commonsense Physical Reasoning: Appendix: Verification of Pouring Scenario
The formal statements of the lemmas in this appendix, like the axioms in the main text of the paper, are (intended to be) written in a style that could be given directly to an automated theorem checker, after some straightfoward syntactic desugaring. In the text of the proofs here, by contrast, I have followed the (God knows, rigid enough) comparatively informal style of normal mathematical wri...
متن کاملAutomating Commonsense Reasoning for Elementary Physical Science
A fundamental part of human experience is the interaction with physical materials of many different kinds: rigid solids, non-rigid solids of many different kinds (e.g. cloth, string, rubber bands, springs, and so on), liquids and gasses. The rich pre-scientific understanding of these materials acquired by every child at an early age is critically important, both because it enables a person to d...
متن کاملCommonsense Reasoning
For an artificial system to act sensibly in the real world, it must know about that world, and it must be able to use its knowledge effectively. The common knowledge about the world that is possessed by every schoolchild and the methods for making obvious inferences from this knowledge are called common sense in both humans and computers. Almost every type of intelligent task — natural language...
متن کاملCommonsense Reasoning
In spite of the recent shift of interest of the computational linguistics community to statistical approaches to NLP, the role of commonsense reasoning in semantic and pragmatic processing remains strong. Traditionally, it has been the commonsense reasoning community, and, in particular, the nonmonotonic reasoning community, that have considered linguistic applications of reasoning; however, th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2008
ISSN: 0004-3702
DOI: 10.1016/j.artint.2008.04.003